Koha online

1.
Verification of sequential and concurrent programs

by Apt, Krzysztof R | Olderog, Ernst-Rudiger.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1997Availability: Items available for loan: [Call number: 005.14 APT] (1).
Place hold
2.
On concurrent programming

by Schneider, Fred B.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1997Availability: Items available for loan: [Call number: 005.275 SCH] (1).
Place hold
3.
Refinement calculus

by Back, Ralph-Johan.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1998Availability: Items available for loan: [Call number: 005.14 BAC] (1).
Place hold
4.
First-order logic and automated theorem proving

by Fitting, Melvin.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1996Availability: Items available for loan: [Call number: 511.3 FIT] (1).
Place hold

Powered by Koha